[IA64] Mask event channel when vcpu boots

Actually XenLinux/ia64 disables interrupts right after SAL OS HAND OFF
and reinitialize all psr so that this won't be an issue.
Just to be make it sure.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>

diff --git a/xen/arch/ia64/xen/vcpu.c b/xen/arch/ia64/xen/vcpu.c
index 5a6de493277575c6b85df61e2051656a0695aea5..95ef7a461cd093268c78c02d5ff45cfe0782e655 100644 (file)
--- a/xen/arch/ia64/xen/vcpu.c
+++ b/xen/arch/ia64/xen/vcpu.c
@@ -173,6 +173,10 @@ void vcpu_init_regs(struct vcpu *v)
                    (unsigned char *)v->domain->arch.shared_info_va +
                    INT_ENABLE_OFFSET(v);
                VCPU(v, itv) = (1 << 16);       /* timer vector masked */
+
+               /* SAL specification 3.2.4 */
+               VCPU(v, vpsr) = IA64_PSR_AC | IA64_PSR_IC | IA64_PSR_BN;
+               v->vcpu_info->evtchn_upcall_mask = -1;
        }
 
        /* pta.size must not be 0.  The minimum is 15 (32k) */